Fixing Github's cray-cray