make pycket-fast non-rigorous