more corrections of paths in SimonInit.el