install file for the toplevel