Workaround for error in make html