version up : MariaDB 10.0.8.
do not generate a static library and do not regenerate documents.