workaround for a bug in the xtend-gradle-plugin