Make compatible with the 1.3 branch of go.tools

Fixes #46