Add version number to version.txt
diff --git a/build.xml b/build.xml
index 55e0037..7986dfc 100644
--- a/build.xml
+++ b/build.xml
@@ -35,6 +35,7 @@
     <mkdir dir="${target.dir}"/>
     <echoproperties destfile="${target.dir}/version.txt">
        <propertyset>
+          <propertyref name="quarks.version"/>
           <propertyref name="DSTAMP"/>
           <propertyref name="TSTAMP"/>
           <propertyref name="commithash"/>