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