mysql: correct 2 data types in innodb counters

Thanks to @ekilby for spotting this mistake ! Fixes #757
Merge branch 'master' into debian
updating build.sh results