mindstorm.0.5.3: add depexts