--- configure.orig 2013-05-27 10:11:54.740045000 +0200 +++ configure 2013-06-09 18:15:53.000000000 +0200 @@ -19807,7 +19807,7 @@ else CPPFLAGS="-DNDEBUG $CPPFLAGS" if test "x$GCC" = xyes; then if test "x$user_cflags" = x; then - CFLAGS="-O3 -funroll-loops -Wall -W -Winline" + CFLAGS="-Wall -W" fi fi fi