Fix php54-runkit

Until a new version of run kit is released, use a version known to work with PHP 5.4