changed time measurement to gnu time