This file (and the casadi directory) should end up in a folder called 'casadi--py39'
