default_pre_build &&
cd "$SOURCE_DIRECTORY" &&

# fix doc path
sed -i "s:/doc/:/share/doc/:" build.sh
