Modify Makefile to add rs_check_ast.cpp