Huge bug with deleting boards: $tmp_board unused; sometimes it would delete the wrong board's directory