BF: fixes to travis testing