Ben: fix missing compiler plugin version