Making obsolete_checker.php executable