Some handy commandline utilities for .gprfiles.