fix some build warnings with GCC-4.7