correct setupgui for 64-bit Linux