Set setup.py back to 0.4.2 dev