bugfix: shuf is not always available

Some systems don't have `shuf`, so then we can fallback to `awk`.