a few fixes for ubuntu