For the moment, switch watchdog to PollingObserver on Linux, as Ubuntu+iNotify is not correctly detecting delete events