Minor changes to files for Linux develop environ