VERSION 0.7.1: small Linux compile fix on g++, does not merit new release