fix around python3-config executable