tweak Travis config to work around a strange permission denied problem