Remove dead old <sys/times.h> use