make sure we stick to version 3.9.2 for now