Upgrade to newly release mongodb 1.3.17, instead of using git version.