ubuntu: misc fix