Links for casadi-hotfixes