Hopefully fix Linux build issues