added output_filename to executables and manual