Binary files for linux, fixes to style.