Just a few script to ease the installation of the inotify extension on Debian