About "make ship", the result is caravel_out.gds but the pre-check looks at caravel.gds, so do we change the name as a manual last step or is there another way to do it?