minor changes to linux install; speed up make process