Fix portability problem