Update Winklelib.h