Hopefully fix linux bug