Apparently something has changed that breaks the build: https://travis-ci.org/urweb/urweb/jobs/626185397?utm_medium=notification&utm_source=github_status Can any Mac experts suggest the right fix? Thanks!