Remove old paul.el file.