Compilation with (new) 64 bits types