extract the class definitions into a new file, with the help of a (simple) start-up bash script.