This is needed by upcoming port py-cvxpy that does not build with the current version. OK juanfra@, sthen@.