hack jnotify under v0.94