leave debugging symbols by default

they can live together with optimizations
extend the api to allow (f)reading exactly one line