git's head alias doesn't work on linux.