added bfv/lib/misc/performancetime.p