fix ci nmp4x86