Make K-OS compile on travis/in more general circumstances