stream-native.rkt
system* workaround