# Anyone compiling mbedTLS code needs the name of the
# alternative config file