default_pre_build &&
cd $SOURCE_DIRECTORY &&

sed -i 's:/local::' makefile &&
sed -i 's:/local::' src/makefile &&
sed -i 's:dir-file:info-dir:' makefile
