fix portability error