some fixes after moving to a new machine