default_pre_build      &&
cd ${SOURCE_DIRECTORY} &&
patch -p1 < ${SCRIPT_DIRECTORY}/src_editor_buffer.adb.diff
