Fix compiler warnings with GCC 4.7.2 on Ubuntu.