solve issue of stdint in virtualbox