Change php-by-contract version