This has a race (not sure it matters; it does matter for rdmd itself).