minor fixes for ubuntu