DSL Tips and Tricks :: compiling drivers