Use debug build by default instead of release.

It seems the release mode build of uclibc breaks some KLEE
tests and I don't feel like debugging those right now.