git: bump version to 1.8.4.2