bug fix with user settings for builders, fixes #784