Added p4.el to the setup