I wonder if there is any way to somehow merge the make.inc.linux/mac, since the files are almost identical, there are just some minimal changes.