Travis integration
Fix another size_t 32/64-bit bug