fixed a ubuntu specific issue