[progman]

I have a 64-bit machine but your fix works great :-)

Thanks for this, and thanks for sharing your amazing pigshell!