fixes Waterfox x64 compatibility issue #163