main/mysql: upgrade to 5.5.40