back to 32 bits int because of 32 bits vbox issue