hopefully a fix for docker's stupidity of allocating in-use ports