avoid boost stdint usage