Fix compiler warnings, Linux gcc 4.7.2