fixes #7: enable dead code elimination

Fixes #7.