These lines are already in check_file_syntax.sh