change integer types to more specific ones
...and turn on the GPIO clock (magically worked yesterday night!)