default_pre_build &&
cd $SOURCE_DIRECTORY &&

sed -i "s:/local::" linux/Makefile
