Update inf in compile_file