Update the openbsd box to 5.2 (issue #197).