Is piping curl output to sh ever a good idea?