The prompt atmospheric neutrino flux in the light of LHCb