fixing a linux related bug