CI: build changes in tools/ on ubuntu/macos