Adding Linux-specific stuff to build_systems for David. Bear with me, haven't used git from the command line in over a year