diff --git a/bulletin/bulletin10.for b/bulletin/extra/bulletin10.for-disabled
similarity index 100%
rename from bulletin/bulletin10.for
rename to bulletin/extra/bulletin10.for-disabled
diff --git a/util/fpt.sh b/util/fpt.sh
new file mode 100755
index 0000000000000000000000000000000000000000..8519946c1b148c5aaf585b047955b1a23ba23ac8
--- /dev/null
+++ b/util/fpt.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+export PATH="$HOME/src/os-projects/bulletin/util/fpt:$PATH"
+
+exec fpt "$@"