Small fix for Ubuntu packaging