A potentially dangerous hack to allow GCC 4.6 still to be used (until users upgrade to 4.7 that supports the override keyword). Closes #42.