Sanity check on Travis-CI for PHP 5.3.3.