Change that *may* fix Ubuntu (not tested).