fix crazy compiler bug with SCL typedef to int