added semantic.cmo in Makefile