Fix mkinitcpio