This patch fixes the missing case in toExtensionList that handles
UnknownException. For now we simply ignore them - is there a better
way?