Workaround Ubuntu packaging bug