Extensions to `compile.el'