Use version 0.4.2 since 0.4.1 was already released