builder/docker: remove unused file