fixes #7: enable dead code elimination