Updated version numbers for 0.4.2-BETA release