linux: fix types