Fix for compilation on 13.04