Fix to allow digits in extension names