this file (and the casadi directory) should end up in a folder called 'casadi-py35-657a052'
