or `3.7.*` since PHPUnit tends to break stuff in minor versions.