merged PR. No idea why it wouldn't check that on mojave. Maybe something to do with the shell version.