Re-add 64 bits platform detection