Rename to previous name - version remains 4.2

To avoid breaking automated scripts and builds using this repo.