On the prompt contribution to the atmospheric neutrino flux