RF: make.py adapted for non-windows