Bootstrap: quote command names (may contain spaces)
Bootstrap: quote command names (may contain spaces)

Signed-off-by: Christophe Troestler <31b857c84ef8b5a36e0408d32d21a2c72c6b4dca@umons.ac.be>

dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder