vagrant 32bits, removed a useless file