Budabot hasn't been updated for some time, I tried to get them to put the updated bot on their site (so you don't have to do all that patching & messing around that has been a problem for some time), but they refused as it was apparently too much work.