default_pre_build  &&
cd $SOURCE_DIRECTORY  &&
make -f Makefile.dist
