porting from windows to linux