A compilation problem in serial execution had slipped into master with last merge of develop (my bad)