x86_64-w64-mingw32-gcc -m64 -o $pxk/bpsl.exe -DBPSSIZE=20500000 \
            -DUSE_WIN_HEAPFUNCTIONS=1 \
            -DUSE_CRLIBM=1 -L. \
            -Wl,--stack,8388608 \
	    $pxk/bps.c $pxk/bpsheap.c \
	    $pxk/echo.c $pxk/file-status.c $pxk/float.c $pxk/os-hooks.c \
	    $pxk/pslextras.c $pxk/pslsocket.c $pxk/pwd-fn.c $pxk/sigs.c \
	    $pxk/unix-io.c $pxk/creloc.c \
	    $pxk/main.o $pxk/dmain.o -lm -lcrlibm -lwsock32
