master131: tweaks to build settings