Library update, spec fix and travis config tweak