Somehow PHP 5.3 now fails on Travis. Next tweak