samuelchen/formalchemy not found