make ports configurable on command-line