PHP: Always use by default version 5.5