use more concise docker container names so they make it into the public hub