Maybe this buries GCC <4.7 build issues. #12