Using PHP 5.5 installed by source