* .version: increased version number to 2.4.2,