[FIX] dump parser output files' names
[FIX] debug in ISPN glue