Fix repo name
Don't use pipefail on Tiger

See #99.