From 3e39846c15ef5c8d465f67d581215c53aadb8df5 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sat, 29 Dec 2018 08:31:16 +0100
Subject: [PATCH] Changed the binary path to be source + ".bin".

---
 src/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.cpp b/src/main.cpp
index da9d510..6f81ade 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -95,7 +95,7 @@ int main(int argc, char *argv[])
 
     const fs::path original(argv[1]);
     const fs::path source = cache_dir / original.filename();
-    const fs::path binary = cache_dir / original.stem();
+    const fs::path binary = (source.string() + ".bin");
     string compiler_arguments;
 
     if (!fs::exists(binary) ||