make printids.php to find Antlr headers from correct location
make printids.php to find Antlr headers from correct location

Smarre/antlrphpruntime,physikerwelt/antlrphpruntime,physikerwelt/antlrphpruntime,Smarre/antlrphpruntime,physikerwelt/antlrphpruntime,Smarre/antlrphpruntime,Smarre/antlrphpruntime,physikerwelt/antlrphpruntime