raspberry (arch linux, boost 1.54) binaries with tls support