By "config file" I actually mean "bash script which sets some variables" which I source in (on line 34)