Grepping for "64" give wrong results - this works on every system at hand - but still, what's the correct way to determine whether R is 32bit or 64bit?