erlang: pull/142 was already merged, existing patch now breaks HEAD install

Sorry for the commit salad.