Adds shell-ext.el