Add build-time dependency on mysql-devel