ckrepo: use pacman's vercmp
/bin/gawk -> /usr/bin/gawk