Both attached patches, extracted from github, can be applied directly to the source of the Ubuntu package for 13.04 in order to fix this problem.
Both attached patches, extracted from github, can be applied directly to the source of the Ubuntu package for 13.04 in order to fix this problem.