3bdd837e4e
Since we are currently in the process of upgrading to GCC 11, it makes sense to change this header before we actually need to.