hotfix for weird Github-specific variable