small changes from the linux machine