Fixed AutomatedOptimiziationTest.java to use a temp file for the generated binary (fixes "permission denied" errors in case of parallel test execution)