minor adjustments for ubuntu