fix setup after 4564a8fcfd9d7b16cb6129c73d1eeddb11dcb62f