disabling testing of export to Idris (bugs in Idris)
a note about integration tests