use different executable names for flexpath tests