Use older dotbot version (because the current one doesn't work)