make Docker 1.2 happy