debian installs casadi_loader.py