Set PREFIX for jrbgui as well