Red Hat build of Quarkus