@certik - Dynamically linked libraries need to be on the `${PATH}` in order to be loaded on Cygwin.  There's probably a `libpetsc.dll` that Johannes is trying to make available here.