minor change to compile on linux