configure: check for 64 bit system