default_pre_build &&

# manual --without-arts
sed -i -e '31969 s,^.*$,},' -e '32034 s,^.*$,},' -e '32336 s,^.*$,},' \
       -e '32401 s,^.*$,},' $SOURCE_DIRECTORY/configure
