Workaround for installation bug