Ok, not possible to specify php-version under require-dev