See https://github.com/diku-dk/futhark/pull/2086
See diku-dk/futhark#2086