A Greek default on IMF doesn't matter