updates for g++4.8