Issue #119: towards better naming for builds