postgresql: switch to INSTALL.msg.