work around jalangi bug

This will be fixed when we move to jalangi2