Holding update to cope with API changes in underlying go.tools