apache-ant: switch to INSTALL.msg.