small fixes for ubuntu install