mysql for coveralls.