See https://groups.google.com/d/msgid/bob-devel/dc74b86e-5bd0-442b-88fb-654105541487%40googlegroups.com?utm_medium=email&utm_source=footer