Use .sv extension for files instead of .v