A few warning fixes for Linux