upgrade to ArangoDB 1.3.1