Make pa5 executable on *nix