default_pre_build &&
cd "$SOURCE_DIRECTORY" &&

sedit "s:-O2::" Makefile &&

zcat "$SPELL_DIRECTORY/kernel-if.patch.gz" | patch -p1
