debian/prerm: Simplify; use global delete-plugin-list binding.

diff --git a/debian/prerm b/debian/prerm
index 5ea7bc6d3630481798229abe5fb7ae07539212f7..10f9461323846fa350c41f37b48f8687b762fda4 100755 (executable)
--- a/debian/prerm
+++ b/debian/prerm
@@ -4,10 +4,7 @@ set -e
 
 case "$1" in
   remove)
-    ( echo "(parameterize ((param:suppress-loading-message? #t))"
-      echo "  (load-option 'ffi)"
-      echo "  ((access delete-plugin-list (->environment '(ffi build)))))" ) \
-    | /usr/bin/mit-scheme-pucked --batch-mode
+    ( echo "(delete-plugin-list)" ) | /usr/bin/mit-scheme-pucked --batch-mode
   ;;
 esac