Fix for GCC 4.6, as on travis