Update AllTestsTest.php

Fixes #163