use phpunit 4.0 instead of 3.7