kevinwchang/redstone-bot not found