source .profile because it has github stuff