* Got rid of int_types.h and did a few changes Ipkiss will need. Hope I
    did not break other platforms.