diff -r 4a4f21070479 -r 7ba43d7e54e7 project_files/hwc/rtl/CMakeLists.txt
--- a/project_files/hwc/rtl/CMakeLists.txt	Sun Nov 11 17:15:19 2012 +0100
+++ b/project_files/hwc/rtl/CMakeLists.txt	Sun Nov 11 17:52:49 2012 +0100
@@ -10,10 +10,10 @@
 
 add_library(fpcrtl ${fpcrtl_src})
 
-if(WEBGL)
-    set_target_properties(fpcrtl PROPERTIES PREFIX "em")
-    set_target_properties(fpcrtl PROPERTIES SUFFIX ".bc")
-endif(WEBGL)
+#if(WEBGL)
+#    set_target_properties(fpcrtl PROPERTIES PREFIX "em")
+#    set_target_properties(fpcrtl PROPERTIES SUFFIX ".bc")
+#endif(WEBGL)