Quiet make: do not leave Windows behind