32bit and 64bit libtcod support