Another fix for compilation on 12.04