default_pre_build &&
cd $SOURCE_DIRECTORY &&
sed -i 's|/x86_64-linux-gnu||' Makefile
