Github user dkuppitz commented on the issue:
https://github.com/apache/tinkerpop/pull/920
I haven't done any extensive performance benchmarks, but the overall build
time went down by 1 minute -- wohoo :)
Anyway, `docker/build.sh -t -i` passed.
VOTE +1---
