Linux gcc fixes