[C2hs] darcs patch: add ptrto directive