BUILD: Fix for GCC 4.7