bump mysql to latest upstream

currently broken; points to nonexistent commit.