Provide cleanups so that this FIXME is removed:
  /* FIXME we should arrange to delete the source file somewhere,
     probably whenever we delete the object file.  */