Fixing a few warnings found with arm gcc