mathlib3

d9ec8a82 - fix(scripts): not all files were deployed through the curl command