new options for developers in ./configure: --enable-gcc-pedantic and --enable-gcc-debug