small fix for UNIX systems