Update proprietary files to 4.2