Fixes gcc 4.7.3 build error  #75