make a default for 64bits machines