hotfix for ubuntu-11.04-related bug