Using the proper verify script depending on system

Merged Tiago de Freitas Pereira requested to merge fix-119 into master

Closes #119 (closed)

Merge request reports