Binärdateien für mbedtls