Allow mixmon names to have dots (bug #5607)