updated to new broken-darwin model and silenced some debug prints