fix linux bug ...