diff --git a/VERSION b/VERSION
index 8cbf02c..43b2961 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.0.12
+0.0.13
diff --git a/bin/compile b/bin/compile
index 55bc247..aaffc6f 100755
--- a/bin/compile
+++ b/bin/compile
@@ -109,7 +109,7 @@ echo \${HIDDEN_DOT_ONION} > ${HOME}/hidden_service/hostname
 
 echo "HiddenServiceDir ${HOME}/hidden_service/" > $HOME/tor/etc/tor/torrc
 echo "HiddenServicePort 80 127.0.0.1:8080" >> $HOME/tor/etc/tor/torrc
-echo "# HiddenServicePort 443 127.0.0.1:8081" >> $HOME/tor/etc/tor/torrc
+echo "HiddenServicePort 443 127.0.0.1:8081" >> $HOME/tor/etc/tor/torrc
 echo "HiddenServiceVersion 2" >> $HOME/tor/etc/tor/torrc
 
 # Use -f to be safe here.