Workaround for GCC bug, see
http://stackoverflow.com/questions/10671406/c-confusing-attribute-name-for-member-template