android: set dedicated ADB port on orange server