workaround for mkinitcpio issue