Hi Tobias, I do not know if you are aware of this, and there are only 4 hours left for the upload (in deferred queue). Anyway, upstream fixed this issue there: https://github.com/roboptim/roboptim-core/commit/ebf98e6c293113cd7729f7560deafb2ac2cea7be cheers, Gianfranco