fix_FTBFS_gcc-4.0
