fix Ubuntu-specific problems