Properly set default value of CARMA_PORT #922