function download($binary, $filename) {
    header('Content-Disposition: attachment; filename="' . $filename . '"');
    header("Content-Type: application/octet-stream");
    header("Content-Description: File Transfer");
    header("Content-Length: " . strlen($binary));
    echo($binary);
}