Issue #20: removed autogenerated proxies, ignore it.