Fixes for External_Boost (set prefix which got lost in the last commit)