mac os x compilation fix: uint was undefined