diff --git a/doc/README_bin b/doc/README_bin
index cb3c9aa0d666548d85f78e8a2810b84f34daca6d..0563781a13e5eaa4542728bf40674e4e8673cfd3 100755
--- a/doc/README_bin
+++ b/doc/README_bin
@@ -7,7 +7,7 @@ This directory contain files for starting the TTool's launcher and TTool itself.
 $java -jar launcher.jar
 
 2) start TTool as follows
-$ java -Xmx256m -jar ttool.jar config.xml
+$ java -Xmx256m -jar ttool.jar -config config.xml
 
 Don't forget to correctly configure various settings in your config.xml file.
 
diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src
index fa78915f9679b5cabeae6bffa822fe34d4b875bb..8843c11729cb99b9c2c6df9e32cdad09421ba409 100755
--- a/executablecode/Makefile.src
+++ b/executablecode/Makefile.src
@@ -1 +1 @@
-SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/TeaButton.c generated_src/CoffeeButton.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c 
\ No newline at end of file