nix: hopefully fix travis-ci