Progress towards compiling with dependencies