make printids.php to find Antlr headers from correct location