generate.py can't assume sensible MS names