fix a permission problem on Linux