Fix #1059: Add a (basic) way to turn off source mapping