Add ppa server port. Related to #302