make sure to relaunch the index notifier if needed