another fix from ubuntu