Building of reftools is broken, thus partly reverting 9f4e268b05653c8ac4378cbe2ac42798826024db part of #221.