Fix for actual #full_input_file