Another workaround for g++ 4.8.