Minor indentation change
Chasing the directory Jenkins expects us go build Keyhotee to