Workaround for g++ 4.4.7.