Update to 4.0.42 for real. Fix shebang problem.