make setup work on ubuntu