diff --git a/_bINT2.pub b/_bINT2.pub
old mode 100755
new mode 100644
diff --git a/_bINT3 .pub b/_bINT3.pub
similarity index 100%
rename from _bINT3 .pub
rename to _bINT3.pub