html401-dtds-4.01-19991224.5.1.mga9.src.rpm build ok