awful hack--fix later--not sure how to copy local file to a docker container