Unknown extensions are now ignored if listed in main.