Maybe this will fix the PR builds

This fixes #28.