fix on linux executing