default for 64bits