default_pre_build &&
cd "$SOURCE_DIRECTORY" &&

sed -i 's:INSTALLDIR = $(HOME)/Vrui:INSTALLDIR = /opt/Vrui:' makefile
