Make stubs file EXTRA_DIST