fixed type mistake for ubuntu platform