--- /dev/null
+--- CiaoDE-1.14.2-13646/makedir/MenuOptions.pl.orig 2012-12-07 00:17:59.492617990 +0100
++++ CiaoDE-1.14.2-13646/makedir/MenuOptions.pl 2012-12-07 00:18:20.725950575 +0100
+@@ -374,10 +374,10 @@
+ % 'src', it is now under 'build')
+ get_enginedir('src', Prefix) := ~path_concat(Prefix, 'objs').
+ get_enginedir('ins', Prefix) :=
+- ~path_list_concat([Prefix, 'lib', 'ciao', ~component_name_version(ciao), 'engine']).
++ ~path_list_concat([Prefix, 'lib64', 'ciao', ~component_name_version(ciao), 'engine']).
+
+ get_final_libroot('src', _Prefix) := ~component_src(ciao).
+-get_final_libroot('ins', Prefix) := ~path_concat(Prefix, 'lib').
++get_final_libroot('ins', Prefix) := ~path_concat(Prefix, 'lib64').
+
+ get_final_includeroot('src', Prefix) := ~path_concat(Prefix, 'include').
+ get_final_includeroot('ins', Prefix) := ~path_concat(Prefix, 'include').
+@@ -387,7 +387,7 @@
+ get_ciaohdir_root('src', Prefix) := ~path_concat(Prefix, 'include').
+ % note: this is INSTALLEDINCLUDEDIR, use a single definition!
+ get_ciaohdir_root('ins', Prefix) :=
+- ~path_list_concat([Prefix, 'lib', 'ciao', ~component_name_version(ciao), 'include']).
++ ~path_list_concat([Prefix, 'lib64', 'ciao', ~component_name_version(ciao), 'include']).
+
+ get_update_sh('all', 'no').
+ get_update_sh('user', 'yes').
+--- CiaoDE-1.14.2-13646/ciao/lib/engine/system_info.pl~ 2011-07-08 11:45:51.000000000 +0200
++++ CiaoDE-1.14.2-13646/ciao/lib/engine/system_info.pl 2012-12-07 00:19:37.559281199 +0100
+@@ -155,7 +155,7 @@
+ :- trust pred ciao_lib_dir(CiaoPath) => atm(CiaoPath) #
+ "@var{CiaoPath} is the path to the root of the Ciao
+ libraries. Inside this directory, there are the directories
+- 'lib', 'library' and 'contrib', which contain library modules.".
++ 'lib64', 'library' and 'contrib', which contain library modules.".
+ :- impl_defined(ciao_lib_dir/1).
+
+ :- trust pred ciao_c_headers_dir(CiaoPath) => atm(CiaoPath) #