a dockerfile to test a bug