default_pre_build && cd "$SOURCE_DIRECTORY" && if [[ $TRAC_FULLNAMES == y ]]; then patch -p0 < "$SPELL_DIRECTORY/show_full_names-0.12.2.patch" fi