patch for bug #122 (broken BBraun and TCAS demos)