Edit to manual -- no Cygwin makefile available