added debugging tools to devel