Fixing compilation issue in Mysql module. Removing proof.