html401-dtds-4.01-19991224.3.1.mga7.src.rpm build ok