fix bad gcc style