Workaround for g++ 4.6