config-able dumpLineNumbers option for easier debugging