Fix bug in handling of bad camlp4 locations