Use Oracle repo for mysql in centos. Fixes #639