Fix #113 (actually there is no need to install quokka, just run it)