I just released version 0.12.5 which fixes yet more bugs, including a nasty save game issue caused by the updated A.I.