a script to downgrade php5.4 to 5.3 on Ubuntu