I had never heard of Wubi but apparently it is Ubuntu running under
Windows. I don't know if that explains the incompatibility or not.
http://wubi-installer.org/
These lines produced when he tried the installation script puzzled
me:
/usr/bin/ld: skipping incompatible /usr/local/poplog/v15.61/pop/extern/lib//libpop.a when searching for -lpop
/usr/bin/ld: cannot find -lpop
collect2: ld returned 1 exit status
I wonder if that could be because he has installed 64 bit ubuntu
instead of 32 bit?