Update to version 7.4.2
see README for more details