quick linux bug fix