changed version number

changed version number to 4.2