change name of file synthetic/synthetic-options.txt to options.txt