Problem: The shellmenu plugin has to be copied or sourced to be used. Solution: Turn it into a package.