web: fix build failures caught by the bot