minor changes to compile on linux