Upgrade to 0.0.13 by jenkins triggered by push to github