avoid warnings about the hot attribute in older GCC versions