hopefully address Linux problem