yaglc now checks that source code ends in .yagl