[tor-commits] [metrics-lib/master] Tweak build file a bit.