Int types fix for Linux