added the -halt-on-error option even on normal build (e.g. to be used by kile)