Change name of hidden option to add timing in filename (MAIN_DOC_USE_TIMING)