Try to fix the openbsd bot.