10.3 update problem mit bug-buddy