Don't use ~/Documents/Overture/workspace as default for non-release builds