Fix (another time) the shutdown problem on linux