Fix compiler warnings (new in gcc 4.7)