From Stilianos Kesisoglou: add support for win64/gcc