Superfluous, since Jens fixed it in the clusterbuildrpm script.