Fixed platform-linux bug