Changed the 'void main()' to 'int main()' of the test files since 'ctest' understands it better