Fix usage of get_input_file_name().
Mark expensive tests as such.