Pipe to bash not sh

Script uses some "advanced" bash capabilities.