Rename MyHolograms.v to MyHolograms.version