docker -> boot2docker
coqrc is only apricot
aliases