Fixed php5.5 deb name