add debugging option in configure