Using php 5.4 as default for ubuntu/Debian