migrations and defmodule