Mike: added utility libraries