Corrected filename for strptime.cc