Fix compilation on 13.04