kill SKIP_BOOLEAN
-obsolete and commented out workaround
handle linux binary in .gitignore