set MAUIHOMEDIR = /opt/maui

if ( "${path}" !~ *$MAUIHOMEDIR/bin* ) then
   set path = ( $MAUIHOMEDIR/bin $path )
endif
