diff --git a/Setup.hs b/Setup.hs
index d989e5ea8..170a5ae8e 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -213,7 +213,7 @@ langsDemo = langsLang `except` ["Ara","Hin","Ina","Tha"]
 langsParse = langs `only` ["Eng"]
 
 -- languages for which langs.pgf is built
-langsPGF = langsLang `except` ["Ara","Hin","Tha"]
+langsPGF = langsLang `except` ["Ara","Bul","Hin","Ron","Tha"]
 
 -- languages for which Compatibility exists (to be extended)
 langsCompat = langsLang `only` ["Cat","Eng","Fin","Fre","Ita","Spa","Swe"]
diff --git a/examples/attempto/LexAttemptoEng.gf b/examples/attempto/LexAttemptoEng.gf
index b2b9c3d4b..ada776cb9 100644
--- a/examples/attempto/LexAttemptoEng.gf
+++ b/examples/attempto/LexAttemptoEng.gf
@@ -12,7 +12,7 @@ oper
   necessary_A = mkA "necessary" ;
   own_A = mkA "own" ;
   have_VV = mkVV have_V ;
-  provably_Adv = mkAdv "provably" ;
+  provably_Adv = ParadigmsEng.mkAdv "provably" ;
   provable_A = mkA "provable" ;
   false_A = mkA "false" ;
   such_A = mkA "such" ;
diff --git a/src/server/lighttpd.conf b/src/server/lighttpd.conf
index 285bf399d..85ea3314c 100644
--- a/src/server/lighttpd.conf
+++ b/src/server/lighttpd.conf
@@ -62,7 +62,7 @@ fastcgi.server = (".pgf" =>
                   ".fcgi" =>
                   ((
                     "socket" => basedir + "/" + var.PID + "-morpho.socket",
-                    "bin-path" => basedir + "/dist/build/morpho-server/morpho-server",
+#                    "bin-path" => basedir + "/dist/build/morpho-server/morpho-server",
                     "bin-environment" => ("GHCRTS" => "-M512M"),
                     "min-procs" => 1,
                     "max-procs" => 1,