default_pre_build      &&
cd  $SOURCE_DIRECTORY  &&
patch  -p0  <  $SPELL_DIRECTORY/kernel-headers.patch
