small fixes for ubuntu package