F11: two broken programs: Mirrormanager & Netdisco