update filenames like @mrdoob's suggestion