See if flymake will work better (store in temp dir) and use different color theme