ports from http://benchmarksgame.alioth.debian.org