use less than 4GB on 32 bits. fixes #1008