Use gcc for start in 'make verify'