do we need a main function if eigen3 is not there? why not just an empty file?