Check if BDD runs better on other PHP versions