Check if BDD runs better on other PHP versions

Do not merge!