Mention the bug in ubuntu and workaround