Stub out debian interfaces file header