I found out that all files listed above are obsolete, and deleted them. Is toplevel /emul used at all anymore ?