use tbonfort's branch of ms 7 for travis