Add the -no-native-compiler argument to coqtop