oops, accidentally checked in stuff that should have been ignored in uploads