all file extensions covered explicitly