Some extension functions for auto-install.el