Fix Jenkins build to copy as3crypto