Fixed issues in nightlies; adapted Travis to make coverall work again.