nix: another travis-ci try