specify HEAD explicitly for higher git versions