Linux run 32bit client on 64bit OS

here is [going to be] the fixed imprudence starter script that also chooses the right settings in that case: