add source files for 4.2 (not tested jet)