Use wget instead of curl

It seems that curl isn't installed out-of-the-box, but wget is. Also,
not using the bad pipe-to-bash pattern.