WINDOWS: for arpack, use normal configure script instead of custom stuff