Use load instead of loadpy,
fix some bugs in slns