adding this to fix github compression bug