Fix #835: linker dies due to infinite recursion