fix a portability issue