instructions for configuring dumpLineNumbers option