remove executable
remove executable

We’re doing this in its own commit because git seems confused by the
fact that flintrock the executable file is being replaced by flintrock/
the directory.

adotmob/flintrock,adotmob/flintrock