Fixing the compiler script to call typecheck with the right parameters