hot-fix for 12.04