acu83513 fix for broken executable_sequence_spec