fixes #336

add debugging options in configure