check in some misc tools