removing .c9 finally, I think