Issue #35: The line-number should be preserved in the preprocessing
stage