fix #15: windows 32bit compartiability