Prevent double compilation, fixes #11