Remove Ubuntu-specific kludge