fixes for ubuntu packaging