default_pre_build &&
cd "$SOURCE_DIRECTORY" &&
# Avoid the build messing with -march=core-avx2, which is a hack
# for gcc-4.8 only anyway. It conflicts with user-set march.
if printf "%s\n" "$CFLAGS" | grep -q march=; then
  sed -i s:march=core-avx2:march=donotbother:g configure.ac configure
fi
