Fix up archlinux instructions