diff --git a/Makefile b/Makefile
index 1a8ee7409417d589efd9cc4916eba6bf039576ae..46cb802d871fc6455c1303a038815fea661c193b 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@
 ### we have two auxiliary Makefiles, one for each side of the front-end.
 ### We define here general targets that will operate on both sides.
 
-FCLANG_VERSION=0.0.8
+FCLANG_VERSION=0.0.8+dev
 
 PLUGIN_DIR ?= .