recompressed some files, fixed #72