Let's jmap for 32-bit Linux work against cores bigger than 2G