fix linux build (probably breaks it on mac)