wrong filename in dockerfile