documented workaround for installation issue