DISTCHECK_CONFIGURE_FLAGS updated for gcc 4.9