Towards having elinstall-proceed-p take simpler parameters