html401-dtds-4.01-19991224.7.1.mga11.src.rpm build ok