It would be nice if PACKAGE-DECLARE allowed more flags in the file-alist, namely things like :NOCOMPILE so that such files would never be compiled, regardless of the commands given to PKG-LOAD.