Fixing a few warnings so we get correct timestamps and gpio ids on different int size machines