Building of release binaries now happens through Jenkins