other fixes for ubuntu