Enhancements of standard library `files.el'