updates from WhiteWhale; new ignore file