Bug under linux fixed