using --binstubs