Handle weird extensions on overrides. fixes #813.