Use proper permissions on Linux

For Linux, use a+x instead of 777