casadi/casadi — pull request #872 by jgillis (2013-10-30 12:10:05+00:00)
Title: Cleaner attempt to fix #827

Tentative new way to fix #827