The oefenzittingen makefile is now compatible with linux installations that use a POSIX /bin/sh instead of /bin/bash