def GetBaseName(name):
    """This converts an output name into a directory name. It removes extensions, and also removes the prefix 'lib'"""
    ret = name.split('.')[0]
    if ret.startswith('lib'):
        ret = ret[3:]
    return ret
