Update mysql port for CI