Merge "Add "WITH_SYNTAX_CHECK=1 make ...""