linux shortcut is same as windows for now (I think this is generally the case)
added more documentation to shmaplib.intermediate