gcc 4.1 32- or 64-bit ?