Add more benchmark stats to lib.php :D