make nrepl default to port 4001