Paths now set up correctly for ModulePropagationMonitor