Fix Github handling of paths