fix php53s-install and restart-all script