benchmark: also need -lrt on linux