force php to use php 5.4 on prod server