Fix distribution issue on linux