oce-clock-gettime.patch     -whitespace
