Bump v. 0.4.2 in configure.ac.