oops. gotta update the gzipped files too