html401-dtds-4.01-19991224.6.1.mga10.src.rpm build ok