Bugfix: uppercase file extensions were not allowed in ToolboxFile.