added pi-spigot from the benchmarkgames website