Removed pkgdef and added ASDF system file.