Don't use proof general's multi-file compilation

coq_makefile is far better