simplify a bit the dockerfile