use 4280 instead of 7280 for server port in cassette files