Docker: adding a file from a parent directory