add spec for dumpLineNumbers option