now compiles under g++4.8