(on macOS; it worked fine on linux)