Small fix for ubuntu server