[1.7.1] Install patch (#74), fixes #73