[Bug 31085] Pulsen complains "A required *.pulsen file is missing"