re-sync getline.h