if Travis CI can't find ASN1/DevTest.php let's make it stop looking