Added CheeseSandwich, changed .PNGs to corresponding .GIFs (see configs), fixed the remaining deadlock on Linux; various small fixes