filename, interactive stubs, mu-connection is not global