Fix compilation with --debug

Fixes #75