Fix binding file so that it compiles on linux