Thinking about the WhileyBuildSettings