We currently have some problems with these files, that we should fix later down the line. See PR comment for more details.