changed version back to 4.2-dev