diff --git a/dist_files/4coder_fleury/custom_4coder.so b/dist_files/4coder_fleury/custom_4coder.so
new file mode 100755
index 00000000..60c5c2f3
Binary files /dev/null and b/dist_files/4coder_fleury/custom_4coder.so differ