Update MariaDB version to 5.5.39, 10.0.13