PHP 5.3.7 required instead of 5.4