Fix some references to archlinux