diff --git a/src/test/Forgefile.hsl b/src/test/Forgefile.hsl
index 6df48b9..0cc2ec9 100644
--- a/src/test/Forgefile.hsl
+++ b/src/test/Forgefile.hsl
@@ -161,6 +161,9 @@ local function set_devpath() : result type none {
     $lines = hefesto.sys.lines_from_file("../DEV_PATH", ".*");
     if ($lines.count() == 0) {
         $lines = hefesto.sys.lines_from_file("/etc/fstab", "^/.* / .*");
+        if ($lines.count() == 0) {
+            $lines = hefesto.sys.lines_from_file("/etc/fstab", "^/.*\\t/\\t.*");
+        }
         var devpath type string;
         if ($lines.count() != 1) {
             $devpath = hefesto.sys.prompt("It was not possible to guess the device path of your '/'. Please provide this path: ");
diff --git a/src/test/main.c b/src/test/main.c
index d9f877d..5a8ad78 100644
--- a/src/test/main.c
+++ b/src/test/main.c
@@ -934,7 +934,7 @@ static int lethe(const char *command, const char *user_choices) {
             fprintf(stderr, "Unable to create '.lethe_usr_inputs'.\n");
             return 1;
         }
-        fprintf(fp, "%s\n", user_choices);
+        fprintf(fp, "%s", user_choices);
         fclose(fp);
         usr_inputs = " < .lethe_usr_inputs";
     }