fixes #93, use latest phpunit 4.0 for travis again