[4.2] Don't require artisan.php if it does not exist