change apt-repository for php 5.4