add version strings
apply Hans' changes: fix @ref{}
fix initialization of sem_cores