GNU/Linux terminal: fixed writes; tweaked makefile