update files for 4.2.4 release